contents 37,38

RFC 3738 WEBRC Building Block

This document specifies Wave and Equation Based Rate Control (WEBRC), which provides rate and congestion control for data delivery. WEBRC is specifically designed to support protocols using IP multicast. It provides multiple-rate, congestion-controlled delivery to receivers, i.e., different receivers joined to the same session may be receiving packets at different rates depending on the bandwid...

CONTENTS CONTENTS Contents

CONTENTS Contents �

We illustrate the use of functional system speci cations and their re nement in the development of system components by a simple case study The development includes the modular speci cation re nement and veri cation of system components We start the development with an informal description of the tasks of the case study and then step by step carry out the tasks formally The informal requirement...

CONTENTS Contents Preface

Contents 3 Contents

Contents Table of Contents

Contents